By  Rachel Treisman 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 it will work and who must comply. The order, which Trump signed on his first day in office, directs the secretary of…