حوضچه خشک شناور نیروی دریایی آمریکا؛ شناوری عجیب برای تعمیر کشتی‌های جنگی