Crockett, of course, was referencing President Trump’s executive order to change the Gulf of Mexico’s name to the “Gulf of ...