Last week, with a slash of his Sharpie, President Donald Trump decreed that the gulf shall henceforth be known as the Gulf of ...