Google has announced plans to rename the Gulf of Mexico as the “Gulf of America” for U.S. users on its Maps platform. The change follows an executive order from President Donald Trump, and updates will occur once the U.

Mexico says Google relabeled the entire gulf, including Mexican and Cuban maritime areas, but President Trump’s order applies only to the U.S. continental shelf.

Apple Maps, Bing Maps and Google Maps have all changed their Maps software and apps to now display Gulf of America on the body of water that's been known as the Gulf of Mexico since the 16th century.