Within a few days of his January 20 inauguration, President Donald J. Trump issued an executive order that the Gulf of Mexico ...