Will "Trump" be said by every candidate in the 2nd RNC primary debate?

This market will resolve to "Yes" if "Trump" or "trump" is said at least once by every participating candidate during the RNC primary debate scheduled for September 27, 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 October 27, 2023, 11:59 PM ET, this market will resolve to "No".