Photo taken on June 1, 2019 shows Building 2 of Virginia Beach Municipal Center where a mass shooting occured 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)