Facts about the defense budget you should know