Sir Richard Cox, 1st Baronet — Irish judge