Virginia: what is known about Virginia Beach shooter DeWayne Craddock

With 12 dead, it is the most deadly shooting of 2019 in the United States.
A municipal employee of a seaside resort in Virginia Beach, on the US East Coast, opened fire on Friday, May 31, in a public building in the city, killing 12 people before being shot dead by police.
The investigation is ongoing and the authorities have not yet given any indication of the name or motives of the shooter, merely indicating that he was a long-time employee of the city's public services. According to CNN's information, his name was DeWayne Craddock, who was 40 years old and had obtained his weapons legally......