Google Maps officially updated the name of the Gulf of Mexico to the Gulf of America on Monday. Among many other executive orders, President Donald Trump decreed on the day of his inauguration that the Gulf of Mexico would be renamed the Gulf of America.

Mexican President Claudia Sheinbaum says her government is not ruling out filing a civil lawsuit against Google if it maintains its stance of calling the stretch of sea between northeastern Mexico and the southeastern United States the “Gulf of America.

The system's new description for the Gulf, an ocean basin that shares nearly equal lengths of shoreline with the U.S. and Mexico, reads: "The Gulf of America, formerly known as th