Will Trump mention DeSantis more than Biden during his CNN town hall?

This market will resolve to "Yes" if Trump mentions DeSantis more times than he mentions Biden during his CNN town hall scheduled for 9 PM ET on May 10, 2023. Otherwise, the market will resolve to "No." If they have an equal amount of mentions the market resolves to "No." Only the following phrasings will count as mentions of DeSantis: "Ron" "DeSantis" "Ron DeSantis" "Ron DeSanctimonious" "Ron DeSanctus" Note that if e.g. he says "Ron DeSantis", it only counts as one mention. Only the following phrasing will count as mentions of Biden: "Joe" "Joseph" "Biden" “Joe Biden" "Joseph Biden" Note that if e.g. he says "Joe Biden's", it only counts as one mention. Pluralization/possessive of the above names will count toward the resolution of this market. The resolution source is live video of the CNN town hall. In case of ambiguity, an official transcript and/or 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"."