US budget deficit stands at $85B in December 2022