The department said the U.S. Board on Geographic Names is working to update the “official federal nomenclature in the Geographic Names Information System” to reflect Trump’s executive order. The ...