BBC News - World

https://bbc.in/2TVKGW8 https://bbc.in/2DsfpDa said the gunman, who was shot dead, was an employee who had reportedly just been fired.

from BBC News - World https://bbc.in/2TVKGW8