The U.S. government is already working to remove all mentions of the Gulf of Mexico name in the Geographic Names Information ...
The federal government, including the military, is changing the name on maps to "Gulf of America." Even Google suggested it ...
Google has said it will rename the Gulf of Mexico to the "Gulf of America" on its Maps app, complying with executive orders by Donald Trump.