Advice for Trump on North Korea, From a Veteran of Nuclear Diplomacy