A gunman opened fire at a municipal building in Virginia Beach, Va., on Friday, killing 12 people. The city’s police chief and others described the incident in which the shooter, a city employee who had recently been fired, also died. Photo: APA grieving Virginia Beach, Va., woke up Saturday to learn the names of the 12 people gunned down by a longtime city employee who authorities say turned a municipal building into a sea of carnage. Eleven of the victims were city employees, with tenures ranging from 11 months to more than 40 years. Many worked in the Public Utilities Department, the same department where suspected shooter DeWayne Craddock had worked as an engineer for about 15 years, according to police.

Source: Wall Street Journal June 01, 2019 13:47 UTC