“The U.S. federal government is expected to reduce its civilian workforce by approximately 300,000 employees, from 2.4 million to 2.1 million, by the end of the current year.”