Should the U.S. be prepared to use military force against North Korea?