“A core principle of U.S. defense procurement is that no new system is fielded until a military service decides it wants to buy it, and attempts by political leadership to force unwanted products onto the services ultimately fail.”