“The workforce of the IRS has been reduced by approximately one-third since the end of the previous presidential administration.”