SHOOTING AT THE PENSACOLA NAVAL BASE.