The Gulf of Mexico is its marvellous name, has been for centuries, far longer than the United States has existed.
I do not accept the name change by one deranged orange idiot and will encourage google to remove any new name from the map we see here in the UK.
5 stars for the original name. zero stars for google who acknowledged the criminals executive order.
