Royal Irish Regiment — current infantry regiment of the British army