DBMS (SHIP REPAIR IN DOCK) [Allocated Title]