Quantos soldados tem o IRA?