 Would a Trump victory in November make much difference, really? Or is it just in the the visuals of this relationship? Are there concrete differences in the Biden world approach and the Trump world approach to an unpredictable, stable at the top, but really unstable place like North Korea?