Google announced that it would be taking steps to change the Gulf of Mexico to the Gulf of America on Google Maps in the US on its Google Maps platform.

The change will only be visible to U.S. users. Those in Mexico will still see “Gulf of Mexico,” while those in the rest of the world will see both names on the map.

Google said it would follow the Trump administration in renaming the Gulf of Mexico once the new name is updated in government sources.