Virginia Beach Shooter Named
Virginia Beach Shooter Named

Police evacuate people from a building in this still image taken from video following a shooting incident at the municipal center in Virginia Beach, Virginia, U.S. May 31, 2019.

WAVY-TV/NBC/via REUTERS (Reuters) - Virginia Beach police named the gunman who killed 12 people at a municipal building on Friday as DeWayne Craddock, saying he was a disgruntled city engineer.

Craddock was killed in a gun battle with police.

James Cervera, Virginia Beach Police Chief, told a news conference on Saturday that he would only give the gunman’s name once because city authorities want to focus on his victims.