we are updating Bing Maps to reflect the Geographic Names Information System's nomenclature in the United States, which includes changing the Gulf of Mexico to the Gulf of America in the US." ...