A man with a bouquet of flowers goes to mourn the victims near the Municipal Center buildings 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)