Richard Pennefather — Irish civil servant