The gunman who killed 12 people in a Virginia Beach municipal building was identified by police on Saturday as a 15-year city employee who had served in the military and was described by neighbors as quiet and rarely smiling. (June 1)
Virginia Beach Mayor: Focus is on the victims
