How should the United States deal with a nuclear North Korea?