President Donald Trump’s executive order to rename the Gulf of Mexico and Alaska’s Denali, the tallest peak in the country, has resulted in lots of discussion. While for some, such renaming might seem less important than the big problems the country faces, there is a formal process in the United States for renaming places, and that process is taken seriously.Usually, so people don’t get confused, official, agreed-upon names are used by the government. In the U.S., place names are standardized by the U.S. Board on Geographic Names, which is part of the U.S. Geological Survey, the agency in charge of...