Gazetteer of Namibia names approved by the United States Board on Geographic Names (1988)