Can Trump rename the Gulf of Mexico and Denali? A geographer explains the processRenaming places in the U.S. is a formal process involving local support and the U.S. Board on Geographic Names.