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

Google Maps users in the U.S. will now see “Gulf of America” displayed over the body of water that was once labeled, “Gulf of Mexico.” Users in Mexico will still see the name, “Gulf of Mexico,”

Google has officially renamed the Gulf of Mexico for US users.