Gazetteer. 14. Antarctica, official name decisions of United States Board of Geographic Names; prepared in Office of Geography. 2d edition.