Did we ever find out a name of the deceased?
Probably like others here, I did some google-fu'ing to try to find out. About all I could ever find was different news sources giving the exact same wordage of the same news story. I looked at something like 6 or 8 stories that were related to the shooting and none differed.