As part of a torrent of decisions he issued this week hours after taking office, President Donald Trump declared that the name of America’s tallest mountain be changed from Denali to Mount McKinley, and that the Gulf of Mexico be renamed “The Gulf of America.

The order Trump signed instructs the Interior Department to update the Geographic Names Information System to reflect the renaming of the Gulf and remove all references to the Gulf of Mexico. It says all federal references to the Gulf of America, including on agency maps, contracts, and other documents and communications shall reflect the renaming.