The Times index-gazetteer of the world. (The Times Publishing Company, 1965)