Yeah, I’d go with stray shot. Lots of bystanders are shot in DC, and a few are killed - guy sitting in his car at a light, little girl eating ice cream in a park, etc.
Just read another report that said that it appeared to be an accidental discharge by another Marine’s weapon. That does happen on rare occasion. The final investigation report will tell the full story.