DeSantis, as we well know, is not a fan of losing. And he’s already lost — publicly and spectacularly — to Trump once. Not ...