World | Sat May 31, 2014 11:41pm EDT

Gunman kills Virginia police officer, teenager in shooting spree