hade sprungit läck och besättningen , 15 man , hade räddat sig i skeppsbåten och landsattes i Pensacola.