White House Options on North Korea Include Use of Military Force