Ejército Republicano Irlandés (IRA, siglas en inglés)