virginia beach va june un reuters virginia beach police named the gunman who killed douze people and wounded four others at a municipal building on friday as dewayne craddock saying he was a disgruntled city engineer