Will "Trump" be said during the Robinhood stream?

Robinhood is scheduled to stream on December 16, 2025, 9PM ET. (https://x.com/robinhoodapp/status/1995559179822510267) This market will resolve to "Yes" if the listed term is mentioned by anyone during the scheduled stream. Otherwise, the market will resolve to "No". If prerecorded clips are aired where people are speaking, those clips will count toward this market's resolution. AI-generated audio or video will count toward this market's resolution. 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). If no such stream is aired by December 17, 2026, 11:59 PM ET, this market will resolve to "No". The resolution source will be audio of the event.