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 legislation was all but certain to die in the Senate, but the move put the Republican-led House on the record supporting President Trump’s nomenclature.

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.