“Former President Trump has requested $1.5 trillion for the defense budget for next year.”