The Florida governor hinted Monday that he may decide whether or not to take on Donald Trump in the race for the Republican nomination in 2024 after the end of the current legislative session in May. Trump’s allies have warned DeSantis not to run, while the former president has already come up with several insulting nicknames for him.