The Gulf of Mexico has already been renamed Gulf of America both on Google Maps and Apple Maps in order to adhere to Donald Trump's executive order 14172.

Hardly surprising, considering they're both American companies, although I should point out that this is only relevant, for now, in the U.S.

I use Google Maps and Apple Maps in English, but I don't live in the U.S. and my app store isn't the American one, which is why Gulf of Mexico still appears as Gulf of Mexico in Apple Maps, and it appears as 'Gulf of Mexico (Gulf of America)' in Google Maps.

Traditionally, the word 'America' has been used to identify both the continent and the United States of America, and Americans are called, well, Americans.

A lot of people don't like that, but, as ever, these things tend to follow sentiment.

For example, that's probably the same reason why so many people in some EU countries use 'Europe' to identify the EU and not continent, and some of these people genuinely can't tell the difference between Europe and the EU, and believe everything outside the EU isn't in Europe.

Since Brexit, I've heard so many people (outside the UK) say "oh well the UK is no longer in Europe now", which, even if I gave people who say this the benefit of the doubt, still sounds extremely moronic.

But I guess that's a different conversation altogether.