Will Trump say "Mike" or "Johnson" at the Congressional Ball on December 11?

Donald Trump is scheduled to participate in an event titled "The President delivers remarks at the Congressional Ball" in Washington on December 11, 2025, 8:15PM ET (see https://rollcall.com/factbase/trump/calendar/). This market will resolve to "Yes" if Donald Trump says the listed term during his appearance at the specified event. Otherwise, the market will resolve to "No". Pluralization/possessive of the listed term will count toward the resolution of this market. 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). AI-generated audio or video will not count toward this market's resolution. This market is explicitly about the scheduled event titled "The President delivers remarks at the Congressional Ball" on December 11, 2025, 8:15PM ET (https://rollcall.com/factbase/trump/topic/calendar/). Speeches, events, or comments that occur outside of the named, scheduled 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 this event is definitively cancelled, or otherwise is not aired by December 11, 2025, 11:59 PM ET, this market will resolve to "No". The resolution source will be video of the events. Only remarks which are broadcast or streamed live will count toward this market's resolution.