U.S. police identify Virginia Beach shooter as city employee, recover more weapons

Virginia Beach City Manager Dave Hansen speaks during 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)