What should the U.S. do about North Korea's nuclear program?