Ron DeSantis takes a swipe at Donald Trump