Google Maps updated the name of the Gulf of Mexico to the Gulf of America, a change made by the Trump administration, for map users in the United States. Shortly after the update to Google Maps, critics said they attempted to leave negative reviews about the newly renamed body of water.

People in Mexico will still see the name Gulf of Mexico, with international users seeing both names, Google said. The change follows an executive order from President Trump.

Google Maps officially updated the name of the Gulf of Mexico to the Gulf of America on Monday. Among many other executive orders, President Donald Trump decreed on the day of his inauguration that the Gulf of Mexico would be renamed the Gulf of America.