Gunman who killed three and wounded several at the Naval Air Station in Pensacola, Fla., revealed to be a Saudi national.