壊れたポンプは、港の修理工場に修理に出してあるよ。