My kids are in elementray school here, I have a bunch of friends whose kids are at the elementary school that is on the same campus as the jr high. The boy was an 8th grader, 14 years old.
A friend of mine has a son who goes to the alternative school. He has a friend at the junior high that was 10 foot from the kid when he did it. Life long trauma for those kids, life long pain for the kid's family.