Mexico’s President Claudia Sheinbaum sent a letter to Google contesting the tech giant’s decision to comply with US President Donald Trump’s order to rename the Gulf of Mexico as the Gulf of America.

President Donald Trump has the power to rename the Gulf of Mexico to the Gulf of America, but whether people will call it that is an open question.

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.