Trump would 'fire tens of thousands of civil servants'