More than 20,000 US government employees willing to quit, US official says