Gazetteer to maps of Lesser Sunda Islands; compiled by United States Board on Geographical Names.