The House of Representatives voted to codify President Donald Trump's executive order renaming the Gulf of America.