“The U.S. Navy is not expected to achieve its stated objective of 355 ships over the next 30 years under any realistic budget projection.”