Kind of what I was thinking.
It would have been nice to water board them for a few weeks to find out what they know, who they know and what other plans they may have had.
But it is better that they are dead than if they had killed others.
The important thing now is that they get a proper Islamic burial.