President Claudia Sheinbaum of Mexico on Friday morning said her government had sued Google over the company’s decision to label the Gulf of Mexico as ‘Gulf of America’ — a spat going back to February, when the Trump administration issued an executive order to rename the gulf.

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.