I don't know about running them over, but I do think that, especially given China's reluctance to support them, their real threat is in their supplying weapons to other rogue nations. It seems like it's time to really shut them down. Seach every ship leaving their ports as soon as it hits international waters, using a joint task force. Anything that is a weapon or that could be used to build one is confiscated. If they're stupid enough to try to use one of their defective nuclear weapons, they get nailed from every side, and damn quick.