Virginia Beach officials on Saturday identified DeWayne Craddock, a longtime Virginia Beach city worker, as the gunman who stormed the beach community’s municipal complex on Friday afternoon and opened fire, killing at least 12 and injuring several others. [Officials have identified the victims.] Mr. Craddock, 40, died in a shootout with the police. • There was no immediate indication that the suspect targeted anyone in particular, officials said. • The suspect had no obvious criminal history, according to court records, although he did have several traffic violations over the years.

Source: New York Times June 01, 2019 12:52 UTC