ON MAY 31st a gunman walked into a municipal office in Virginia Beach and slaughtered 12 people, most of them colleagues he had worked with for years, before he was killed in a gun battle with police. The killer—whom the police have referred to by name only once, part of a move to strip mass…