What does DeSantis' victory signify for possible 2024 battle against Trump?