A 16 year old boy was the shooter.
I think we need to wait & see, bearing in mind the BBC don't know what women and men are.
https://www.bbc.co.uk/news/articles/cm89zp48k4kzo