WaPo: Federal Lay-off “likely” if too few employees choose to quit