However, Trump's order only applies to the U.S. government's official position. Though headquartered in the U.S., ...
The US has renamed the Gulf of Mexico "Gulf of America" through an executive order, though international recognition remains uncertain.