Will Bernie say "Trump" 12+ times during CNN town hall on October 15?

Bernie Sanders is scheduled to deliver remarks with AOC in a town hall hosted by CNN, on October 15, 2025, 9 PM ET. More here: https://x.com/CNNPR/status/1976791116683907404 This market will resolve to "Yes" if Bernie Sanders says the listed term during his appearance at this event. Otherwise, it will resolve to "No." Any usage of the term, regardless of context, will count toward the resolution of this market. Pluralization/possessive of the term will count toward the resolution of this market, however other forms will NOT count. Instances where the term is used in a compound word will count regardless of context (e.g., "joyful" is not a compound word for "joy"; however, "killjoy" is a compounding of the words "kill" and "joy"). If this market requires a specified number of mentions of a person’s first or last name, a full-name mention will count as one mention (e.g., if a market is about “Joe / Biden 5+ times,” a mention of “Joe Biden” will count once). This market is explicitly about Bernie Sanders's scheduled appearance at the CNN-hosted town hall scheduled for October 13. Speeches, events, or comments that occur outside of this event will not qualify toward this market's resolution. If the event contains a Q&A, it will count toward the resolution of this market. If the appearance has not aired in its entirety by October 15, 2025, 11:59 PM ET, this market will resolve based on what has aired up to that point. If no appearance is aired by this time, or if it is otherwise definitively cancelled, this market will resolve to "No". The resolution source will be the audio/video of the listed event.