When Google announced it was complying with US President Donald Trump’s executive order to rename the Gulf of Mexico to the Gulf of America, many Mexicans responded with a laugh and a long, exhausted sigh.

Mexican President Claudia Sheinbaum rebuked Google’s decision to rename the Gulf of Mexico on Google Maps in a Wednesday press conference. After President Donald Trump issued an executive order changing the Gulf of Mexico to the Gulf of America in all government references,

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.