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 House has passed a Republican-led bill that would rename the Gulf of Mexico to the Gulf of America, moving a step closer to codifying President Donald Trump’s push to rename the body of water.

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.