$40 trillion national debt