there are also rules involving dealing with persons who present a real and imminent threat to other people’s lives. I think this case falls under that heading.
The only ruckus is over “due process”. I think the term needs to be expanded to include cases like this, as I fear he will not be the last person we might have to take out to ensure the safety of innocent people.