Trump Wants Another N. Korea Summit but only if Progress is Likely: Pompeo, 16 July 2020