Not a fan of Trump but I would be in his corner if he just decided to "glass" North Korea and call it good.  Target with a few large nukes to take out their few population centers without affecting the South Koreans.  I think it's past time for this to happen.  After all, the 4th of July is a time for big bangs and we can show North Korea a few really, really, big bangs since they can't seem to behave themselves.