Will Trump say "Brazil" or "Bolsonaro" during his Squawk Box appearance on August 5?

Donald Trump is scheduled to join the Squawk Box broadcast on August 5, 8 AM ET. You can read more about that here: https://x.com/SquawkCNBC/status/1952510177862918591 This market will resolve to "Yes" if Donald Trump says the listed term during this appearance. Otherwise, the market will resolve to "No". Any usage of the term regardless of context will count toward the resolution of this market. Pluralization/possessive of the term will count toward the resolution of this market, however other forms will NOT count. 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 appearance is definitively cancelled by Donald Trump or Squawk Box, or otherwise is not released by August 6, 2025, 11:59 PM ET, this market will resolve to "No". The resolution source will be audio/video of the appearance.