Isn't he running for governor? If he wins, he would turn around the next month & run for President?
At least if he was Trump's VP, there would be a lag before Trump would have to announce a VP pick.
Is it DeSantis or some group that represents themselves as DeSantis for President? I’m sure never Trumpers would love to divide the party.