Breitbart News reported that a gunman opened fire Friday morning in Pensacola, killing three innocents and causing numerous others to be transported to the hospital for injuries.

The Associated Press reported that the Pensacola gunman was an aviation student from Saudi Arabia, and NBC News reported that the gunman's name was Mohammed Saeed Alshamrani.

He used a handgun to carry out his attack.

Pertinent to news of this horrific firearm-based attack is the fact that Naval Air Station Pensacola is a gun-free zone.

Breitbart News reported the air station's gun-free status shortly after the attack. The station's firearm policy, as described by Commander, Navy Region Mid-Atlantic, notes:

While federal and state laws differ widely on the subject, regulations pertaining to the registration, transportation, and storage of firearms on Naval Installations in the Mid-Atlantic area of responsibility are clear. According to the instruction, all hands share responsibility for adhering to regulations pertaining to the registration, transportation, and storage of firearms in the AOR.

The policy also points out that "state issued 'concealed weapons permits' are not recognized on any Navy installation."