We’re not out of time on North Korea. Here are our options.