13 killed by lone gunman in D.C. Navy Yard rampage