Law enforcement officials work outside a municipal building that was the scene of a shooting, Sunday, June 2, 2019, in Virginia Beach, Va. DeWayne Craddock, a longtime city employee, opened fire at the building Friday before police shot and killed him, authorities said.
Patrick Semansky
AP Photo
