Will "Trump" be said by every candidate in the 3rd RNC primary debate?

This market will resolve to "Yes" if "Trump" or "trump" is said at least once by every invited candidate during the RNC primary debate scheduled for November 8, 2023. Otherwise, the market will resolve to "No." Pluralization/possessive of the word will count toward the resolution of this market. Mentions of the word trump need not specifically refer to any individual. For example if a candidate says "My policies trump his!" it will count. The resolution source is live video of the debate. 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 November 15, 2023, 11:59 PM ET, this market will resolve to "No".