Search giant Google has officially changed the Gulf of Mexico to the "Gulf of America" on Google Maps, following an order by US President Donald Trump to rename the oceanic basin. Rather than a change seen only by users in the USA,

Google has officially updated Maps to label the Gulf of Mexico as the "Gulf of America," following U.S. President Donald Trump 's executive order renaming the sea. Fortunately, the tech giant is also retaining the gulf's internationally recognised name which it has held since at least 1552 — at least, for non-American users.