The Biden administration's proposed Defense budget is going to force some tough choices