Trump issued an executive order shortly after taking office to rename the gulf, and in February, the federal Board on ...