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

President of Mexico Claudia Sheinbaum says her country is reaching out to Google about its Maps change and is suggesting additional revisions of its own.

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.