Multiple, top-level IRS officials have left the agency since the Trump administration started. Source: Bloomberg Tax reporting