The reduction would be the largest single-year decline in civilian federal employment since World War II.