Will "Trump" be said by every candidate in the RNC primary debate on August 23?

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 August 23, 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 September 30, 2023, 11:59 PM ET, this market will resolve to "No".