Police provide update on Virginia Beach municipal center shooting

The gunman who killed 12 people in a Virginia Beach municipal building was identified by police Saturday as a 15-year city employee who had served in the military and was described by neighbors as quiet and rarely smiling.