City employee turned gunman reportedly had 'scuffles' with his colleagues
Before DeWayne Antonio Craddock stormed a Virginia Beach municipal complex Friday, where law enforcement officials said he slaughtered a dozen people and injured several others, he had made his living in public service.
Serge F. Kovaleski, New York Times