Zum Angriff kam es auf einem Militärstützpunk in Pensacola im US-Teilstaat Florida