st martin\'s day synonym