President-elect Donald Trump announced this week that the U.S. is going to rename the Gulf of Mexico once he takes office. No ...

I know. It’s really hard to separate the made-for-laughs headlines of fictitious Trump statements from the real ones he ...