Will a candidate say "Trump" 10+ times during NYC Democratic Primary Debate on June 4?

The 1st Democratic Primary Debate for New York City's 2025 Mayoral Election is scheduled for June 4, 7 PM ET. This market will resolve to "Yes" if any candidate says the listed term during their appearance at this event. Otherwise, the market will resolve to "No". Any usage of the term by any candidate regardless of context will count toward the resolution of this market. Use of the term by a moderator or commentator will not count. Pluralizations/possessive forms 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"). This market is explicitly about the scheduled debate previously specified. Speeches, events, or comments that occur outside of this event will not qualify toward this market's resolution. If this event is definitively cancelled, or otherwise is not made available by June 4, 2025, 11:59 PM ET, this market will resolve to "No". The resolution source is the video of the event.