The Virginian-Pilot (TNS) VIRGINIA BEACH, Virginia — It was an hour before quitting time, as workers were preparing to head home for the weekend, when a gunman stormed into the city’s public works building late Friday afternoon and began firing. By the time it was over, 12 people were dead and four were seriously wounded. The first officers on the scene engaged in a gun battle with the shooter and