Time to lobotomize North Korea.  A few hundred tactical nukes should do the job quickly and efficiently. If nukes are off the table, then it will be long and dirty operation with a lot of South Korean casualties.