Seismic Solutions and Emergency Repairs for Naval Dry Docks: Design, Analysis, and Execution (OTIPC2508)