After a year of getting roundly humiliated by Donald Trump and failing to unseat him as the leader of the Republican Party, Ron DeSantis finally dropped out of the race and endorsed Trump’s bid to reclaim the White House. But while the former president publicly retired his “DeSanctimonious” nickname, Trump has privately made clear over the past two weeks that he’s not ready to let go of his grudge against the Florida governor and former ally. One of the sources, who has spoken to the ex-president about this topic recently, bluntly characterizes Trump’s attitude on DeSantis’ future as wanting to...