Hundreds of thousands of federal workers had been furloughed or working without pay since the government shut down on Oct. 1. After the White House and Congress finally resolved the record-breaking ...