When citizens die it's tragedy. When "world leaders" die it's comedy. Having said that, I'd think twice before dancing on an evil person's grave. Those who do the killing tend to be worse.