“The US federal government employs approximately 4 million full-time workers and up to 20 million contractors.”