Gazetteer. 13. Indonesia and Portuguese Timor, official standards names approved by Board on Geographic Names; prepared in Office of Geography.