US Department of Defense budget for the fiscal year 2010 by military branch and department