No death penalty. Pointless in this situation as the shooter is already dead.
Too bad. You're correct. I should read the entire article instead of loosely scanning them. But sometimes I don't. Too bad about the death penalty, though.