Police said the gunman, who was shot dead, was an employee who had reportedly just been fired.
Unidentified gunmen killed nine Pakistani workers in the restive southeastern border region of Iran, Pakistani officials say, just over a week after Iran and Pakistan carried out military strikes on each other’s territory.