1.
Indonesia, Netherlands New Guinea, and Portuguese Timor, official standard names approved by the United States Board on Geographic Names.