Mexican President Seinbaum announced that the country has officially sued Google for changing the name of the "Gulf of Mexico" to "Gulf of the United States" in its Google Maps service for American users. Seinbaum said that the lawsuit documents have been filed, but did not disclose the specific court institution and time node.