President Trump's executive order renames the Gulf of Mexico to the Gulf of America, cast your vote on which name you prefer.