Photo taken on June 1, 2019 shows police officers on duty near the Municipal Center buildings where a mass shooting occurred in Virginia Beach, Virginia, the United States. 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)