US national debt tops $40T for first time, doubles since 2017