$40 trillion federal debt