The IRS isn’t on this list. Is it its own department, or a sub of one of these?
I think IRS is part of Treasury.
Treasury Department.
IRS is part of the Treasury Department.
Link
https://www.theguardian.com/uk-news/2017/jan/23/gchq-chief-robert-hannigan-quits