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." ...

since Mr. Trump's position gives him authority to alter geographical names of places inside the country. The Gulf of Mexico ...