Vexed Google Maps users are rallying on to report the Gulf of Mexico as mislabeled in protest of the company’s decision to ...

In response, Sheinbaum sarcastically remarked that North America should be called "América Mexicana" — "Mexican America" — because a 17th-century map labeled the continent as such.

The Gulf of Mexico will now appear as the Gulf of America for U.S. users of Apple Maps, Bing Maps and Google Maps.

Apple Maps changed the name of the Gulf of Mexico because of President Trump’s Executive Order 14172, titled "Restoring Names That Honor American Greatness," which he signed on his inauguration day.

Currently on the app-based version of the map, when the Gulf is viewed zoomed in in the U.S., the label shows as Gulf of America, but when viewed further out, the label changes to "Gulf of Mexico ...