World June 1, 2019 by World Virginia Beach city manager: 11 of the 12 shooting victims were employees of the city