I will not celebrate peoples' deaths, but I will not necessarily mourn them either. Their relatives certainly did not ask for this (regardless what you think of them), and they have to deal with this for the rest of their lives. Maybe some will get over this, maybe some will not.

At least it's a relief that there was no suffering.