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