When federal workers are fired, everybody suffers.