Gazetteer of Sri Lanka names approved by the United States Board on Geogreaphic Names (Defense Mapping Agency, 1993)