NBC: Pennsylvania authorities ID gunman who killed 3 law enforcement agents