Google Says It Will Change Gulf of Mexico to ‘Gulf of America’ for US Users

The name change would only be visible to users in the United States, according to the tech giant.

Tug boats tow the semi-submersible drilling platform Noble Danny Adkins through the Port Aransas Channel into the Gulf of Mexico in Port Aransas, Texas, on Dec. 12, 2020. Tom Pennington/Getty Images

Google said on Monday that it will change the name of the Gulf of Mexico to “Gulf of America” for users in the United States once the name change ordered by President Donald Trump is reflected in the federal system.

The tech giant said it will also rename Denali, the tallest mountain in North America, to “Mount McKinley” on Google Maps once the Geographic Names Information System (GNIS) is updated.