Presidência da República tem 18 mil servidores