President Trump's executive order renaming the Gulf of Mexico has drawn a mixed reception, from laughter to annoyance. Even as the federal government implements the switch, questions persist about how ...