Photos: These are the city employees, contractor killed in Virginia Beach Municipal Center shooting