Will Ron DeSantis announce a presidential run before 2027?

We haven't read this market's rules yet. The original text is below.

Too little has been traded here to be worth a read. Bigger markets get read first.