This is a perfect example of the “good guy with a gun” when a horrible tragedy was ended because an armed citizen shot and killed the attacker, ending the threat to others and saving who knows how many others.