Defense budget after debt repayments