What should we do about North Korea?