and named another retired judge as the new ombudsman.