“The US federal government is comprised of somewhere between 450 and 520 agencies, and the exact number is not precisely known.”