The fact that the much talked about Summit meeting between President Trump and Chairman Kim happened on June 12 in Singapore is an achievement by itself. The world would have been on edge without it. The short document signed, even though shorn of...