After U.S. President Donald Trump issued an executive order renaming the Gulf of Mexico as Gulf of America in January, some digital maps quickly made the change, at least for American users.

MEXICO CITY (AP) — Mexican President Claudia Sheinbaum said Thursday that her government wouldn't rule out filing a civil lawsuit ... how the Gulf appeared on Google Maps was dependent on ...