How Trump can denuclearize North Korea