Be thankful you can feel pity and horror at the death of an enemy. The day we cease to care, even for our enemies, is the day we have lost this battle.