Mexico has sued Google for adopting the name “Gulf of America” for users of Google Maps in the United States, President Claudia Sheinbaum said, making good on an earlier threat to take legal action against the tech company over the name change.

The Republican-led House has passed a bill that would rename the Gulf of Mexico as the Gulf of America and direct federal agencies to update their documents and maps to incorporate the new name.