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.

Renaming it the Gulf of America would apply only in the US. And the long global history of disputed place names suggests it could be a brief experiment anyway.

For nearly half a century, there’s been little thought about the name Congress gave to the Gulf of Mexico Fishery Management Council — until now. On Monday, President Donald Trump signed an order to rename the waterbody to the “Gulf of America” on federal agency maps, contracts, and other documents and communications.