Meanwhile, in the Ron DeSantis for president camp!