So your link doesn’t point to an actual story, and Googling “times uk mary mcaleese” doesn’t get to the original story either. Neither does a Google on “times uk stephen o’brien”. What gives?
I just copied it from the actual newspaper when I typed it up because you need a subscription for the times in order to read the actual article online.