Eleven public works employees and a contractor are dead after a mass shooting conducted by a 40-year-old public utilities engineer who worked in the sewer and water department in Virginia Beach, Virginia.

The gunman was a longtime city employee who had handed in his resignation...