“Scaling back the U.S. fleet of 14 nuclear-armed submarines to eight would maintain a robust deterrent at sea while generating billions in savings and easing pressure on the Navy's shipbuilding budget.”