tillhörande Förenta staternas krigsfartyg » Pensacola»