It's an awful thing and the only thing I have to add is that people sometimes forget that this type of military service can be dangerous even in (relative) peacetime. Fortunately, these accidents are rare but they definitely happen and the results are catastrophic. Dead is dead.
Awful.
