Four people, including the gunman, killed in shooting at Naval Air Station Pensacola in Florida, the US Navy says.
