Published Jun 1, 2019 at 12:36 PM | Updated at 3:53 PM EDT on Jun 1, 2019
A gunman entered a municipal building in Virginia Beach and fatally shot 12 people Friday before being killed in a firefight with police.
Eleven of the victims were city employees. One was a contractor.
“They leave a void that we will never be able to fill,” said City Manager Dave Hansen.