Virginia Beach City Manager Dave Hansen (L) attends a press conference in Virginia Beach, Virginia, the United States, 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)