International desk – At least 12 persons were killed after a gunman went on rampage in a municipal building in the Virginia Beach city on Friday.
The gunman, identified as DeWayne Craddock, shot indiscriminately before dying in a gun battle with police. He was described as a disgruntled city employee.
Officials in the US city of Virginia Beach released names of the 12 victims.
City manager David Hansen said the victims – 11 local authority workers and one contractor – “leave a void we will never be able to filled”.
The attack began shortly after 16:00 local time (20:00 GMT), at Virginia Beach Municipal Center, in an area which is home to a number of city government buildings. The area was put into lockdown by police and employees were evacuated, according to a BBC report.
One of the victims was shot outside in a car, and the rest were found over three floors of the government building.
Four officers entered the building and located the gunman inside and “immediately engaged” him, police chief James Cervera said. The attacker was then shot dead.
“I want you to know that during this gun battle, basically the officers stopped this individual from committing more carnage in that building,” Cervera said.
Police recovered a rifle and a handgun, thought to have been used by the suspect, at the scene.
According to US tracking website Gun Violence Archive, the incident is the 150th mass shooting in the US so far in 2019.
The site defines a mass shooting as a gun attack in which at least four people are either killed or wounded, according to BBC.