Pat Leahy, Political Editor of the Irish Times