Will Trump say "Kim Jong Un" during events with South Korean president on August 25?

Donald Trump is scheduled to participate in one or more events with the President of South Korea on August 25, 2025. (see: https://apnews.com/article/south-korea-us-trump-lee-jae-myung-tariffs-128bdcdaac59f8a8778b1b6674c30124) This market will resolve to "Yes" if Donald Trump says the listed term during his appearance at bilateral or multilateral events featuring the President of South Korea. 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"). This market is explicitly about scheduled bilateral and multilateral events with the President of South Korea (https://rollcall.com/factbase/trump/topic/calendar/). If a bilateral or multilateral lunch is scheduled and broadcast, it will also qualify toward this market's resolution. Speeches, events, or comments that occur outside of the named, scheduled events will not qualify toward this market's resolution. If the events contain a Q&A, it will count toward the resolution of this market. If this event is definitively cancelled, or otherwise is not aired by August 25, 2025, 11:59 PM ET, this market will resolve to "No". The resolution source will be video of the events.