Ceylon. Official standard names approved by the U.S. Board on geographic names. (Gazetteer, 1960)