sysselsatt med att genom pumpning hålla fartyget flott.