location of the battle of Pensacola abbreviation?