repairs to ship