US Department of Defense budget for the fiscal year 2010