The federal budget deficit hit an all-time high of $3.1 trillion in the 2020 budget year, more than double the previous record, as the coronavirus pandemic shrank revenues and sent spending soaring.Related video above: Fact check: Biden on China trade deficitThe Trump administration reported Friday that the deficit for the budget year that ended on Sept. 30 was three times the size of last year’s