User utterance: what happened with the summit between trump and jong