North Carolina’s representatives in the U.S. House split on whether to rename the Gulf of Mexico. Now the bill must go before the Senate.

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.

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.