The Gulf of Mexico is now called the Gulf of America for Google Maps users in the United States, keeping with the terms of President Trump's controversial executive order to rename the body of water.

After announcing it would be renaming the Gulf of Mexico as the Gulf of America, Google has officially changed on its Maps application.

Mexico will take Google to court if maps shown to US-based users continue to label the Gulf of Mexico as the Gulf of America across the entire body of water, President Claudia Sheinbaum said Monday, arguing that US President Donald Trump’s order to rename it only applies to the part of the continental shelf under US control.