The Department of Defense proposed an overall defense budget appropriation of $1.5 trillion