Pensacola (Fla.)--Capture, 1781--Manuscript maps.