Recorder of Dublin — former judicial office in Dublin, Ireland