At this writing, the prediction market for the GOP 2024 presidential nominee shows Florida Gov. Ron DeSantis leading trading at 23 cents, with Trump…