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 sues Google over labeling the Gulf of Mexico as “Gulf of America” on U.S. maps, escalating a cross-border naming dispute.