Published Jun 1, 2019 at 9:36 AM | Updated at 12:53 PM PDT 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.