(CNN) The shooter who opened fire indiscriminately in a Virginia Beach city building Friday afternoon, killing 12 people and sending at least four others to the hospital, was a disgruntled employee, a Virginia government source briefed on the investigation told CNN. "This is the most devastating day in the history of Virginia Beach," said Mayor Bobby Dyer. Craddock, 40, worked as a certified professional engineer for the city of Virginia Beach in the Public Utilities Department. Building 2 of the Virginia Beach Municipal Center houses the operations building for the city, which include multiple departments. "We are praying for our city, the lives that were lost, their families and everyone affected," singer Pharrell Williams, who grew up in Virginia Beach, tweeted.

Source: CNN May 31, 2019 21:02 UTC