Google Maps said it would change the name of the Gulf of Mexico to Gulf of America once it is officially updated in the U.S. Geographic Names System.

The U.S. government is already working to remove all mentions of the Gulf of Mexico name in the Geographic Names Information System (GNIS).

Google has announced plans to update the names of two major geographical landmarks on its Maps platform for users in the United States. The tech giant will rename the Gulf of Mexico to the “Gulf of America” and revert the name of North America’s highest peak,