It's Official: US National Debt Rose $4.23 Trillion in FY2020 - The Sounding Line