La cantidad y tipo de armamento entregado por el IRA permanecerá en secreto