One of the many executive orders that President Trump signed on Inauguration Day was aimed at changing the name of the Gulf of Mexico to the “Gulf of America,” and Florida officials wasted no time in accepting the new moniker.