hvarvid fregatten Pensacola sjönk i dockan.