solutions to north korea problem