The US does have a credible military option for dealing with North Korea. It's called nuclear deterrence.