sysselsatte med att genom pumpning hålla fartyget flott.