Trump dubbed the Florida governor “Ron DeSanctus” and “Ron DeSanctimonious,” continuing his tradition of assigning derisive nicknames to his political opponents. There were rumors he called DeSantis ...