Why the US stopped building battleships after WWII and favored the manufacturing of naval destroyers, 23 December 2025