VIRGINIA – The 12 people killed when a gunman fired on his colleagues at a municipal building in the United States city of Virginia Beach were named.
City manager Dave Hansen said the victims – 11 local authority workers and one contractor – “leave a void we will never be able to fill.”
The gunman shot indiscriminately before dying in a gun battle with the police.
He was identified as DeWayne Craddock and described by the police as a disgruntled city employee.
Authorities said they would only refer to him by name once, in order to focus attention on the victims. (BBC)
