ERIC BARADAT/AFP/Getty Images In wake of what he called a “senseless incomprehensible act of violence,” Virginia Beach city manager Dave Hansen named and briefly eulogized the 12 victims—11 city employees and a contractor—who lost their lives when a disgruntled engineer who worked in the same building opened fire. The victims were ethnically diverse men and women who were just finishing their work week on a Friday afternoon at city's municipal public works complex when DeWayne Craddock, 40, cut their lives short. Speaking Saturday morning at a news conference, Hansen said he knew and worked...