Donald Trump announced he’s giving up the measures that shocked the whole planet. More exactly, the Gulf of America will go back to its old name: the Trump Gulf. Or… was that not its old name?