The good and the bad from Trump’s North Korea summit