In the news, too much news, really, but Google has decided to go ahead and rename the "Gulf of Mexico" the "Gulf of America".
We, of course, don't have to be a part of this. Google has decided to concede and skew it's results in favour of the Presidency, we can find other search engines and mapping tools that don't.
And we should, we've seen the propaganda arm of the US under way, and to rely on it for any sort of useful information is not only useless but dangerous.
Here are a list of search engines that have yet to kiss the Orange Menaces *ss:
And some mapping tools that may well leave the Gulf of Mexico as it is:
There are many others. Get out of the habit of using what are clear propaganda arms of the US and feeding Google your ad-revenue.