Gazetteer. 14. Antarctica, official name decisions of United States Board of Geographic names; prepared in Geographic Names Division Army Topographic Command. 3d edition.