Virginia Beach City Manager Dave Hansen reacts during a press conference in Virginia Beach, Virginia, the United States, on June 1, 2019. The shooter who killed 12 people in a mass shooting in Virginia Beach, in the eastern U.S. state of Virginia, on Friday, has been identified as DeWayne Craddock, a 15-year city employee, local police said on Saturday. (Xinhua/Liu Jie)