WI an earthquake the magnitude of the Tokyo earthquake of 1923 hit Tokyo in the autumn of 1893 or the autumn of 1903 instead?