SHIP REPAIR : ESSENTIAL PROVISIONS FOR A RELIABLE FLEET