PORT OF SAN DIEGO SHIP REPAIR