Will DeSantis mention "Trump" during his Twitter Space?

This market will resolve to "Yes" if Ron DeSantis mentions "Trump" during his Twitter Space scheduled for 6 PM ET on Wednesday, May 24, 2023. Otherwise, the market will resolve to "No." Only the following phrasings will count as mentions of Trump. "Trump" "Donald Trump" "Donald J. Trump" "Donald John Trump" "Donald" "Don" "Donnie" "DJT" Pluralization/possessive of the words will count toward the resolution of this market - mere references will not count. The resolution source is live Twitter Space or recordings of it. In case of ambiguity a consensus of credible reporting may also be considered. If this event is cancelled or delayed beyond May 31, 2023, 11:59:59 PM ET, this market will resolve to "No".