"Republicans have decided to spend this entire legislative day doing is to debate a bill to rename the Gulf of Mexico. Now, in some ways the American people can be thankful," Jeff

The Republican-led House passed a bill Thursday 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.

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.