Everyone wants to rush off to war, really??
We have been dealing with this since 1950 and at a stalemate since 1953 dealing with various knuckleheads in power there. Funny how 64 years is rushing it.
Or perhaps we are supposed to wait until they are able to hit the US mainland or deliver a nuclear system?