Asia, gazetteer supplement, official standard names, approved by U.S. Board on Geographic Names; prepared in Geographic Names Division, U.S. Army Topographic Command.