DeSantis decides in real time whether he'd support Trump as nominee