war in Pensacola Florida