“During the Clinton administration, engagement, backed by the threat of force, convinced Pyongyang to freeze its dangerous nuclear program and put a moratorium on the production of long-range missiles.”