Now we know why Trump is demanding a $1.5T military budget.