So killing people with bombs is barbaric dead0? I can't really see the justification for mourning the loss of North Korean military brass.
It's funny what you get excited over. Israel or The United States killing dozens of civilians with explosives isn't a big deal, but 1 North Korean official killed by an explosive is...
Israel and the United States "killing dozens of civilians with explosives", as you phrase it, has, throughout history, almost always been a good thing. So, I have to say, would be a large-scale purge of the North Korean government (though if it trickles down to the average North Korean
a la the Yezhovshchina, that would obviously not be a very positive development).