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.

Apple has changed the name of the Gulf of Mexico to the Gulf of America on its maps after an order by President Donald Trump was made official by the U.S.

Google Maps now shows the “Gulf of America” in place of the “Gulf of Mexico” for users on both web and mobile in the United States. It made the change after the Trump administration formally changed the name today of the body of water spanning between the eastern coast of Mexico and Florida.