Pensacola shooter was a Saudi aviation student.

Three people were killed and eight injured in Friday’s attack. The shooter was also killed.

---