"In accordance with established product policies, we are updating Bing Maps to reflect the Geographic Names Information System's nomenclature in the United States, which includes changing the Gulf ...

It's official: The Gulf of Mexico is no more (at least in the United States ... it has been changed in the centralized Geographic Names Information System. Google also has updated its maps.