I share your concern about "joy" over anyone's death, however this is a very different situation than most - I think there is some parallel to how would you feel about learning Hitler had been killed???  Maybe a quiet sigh of relief would be more appropriate than throwing a party except maybe those feelings are understandable right now?

A good question for theologians and philosophers.

Jim at Dawn