judge richard marks kc