Thanks for the info.
I guess they still haven't released the identity of the other 40 year old person that was shot and survived.