Indian Ocean Islands official standard names approved by the US Board on Geographic Names ; [official standard names gazetteer] (1957)