ombudsman — official representing the interests of the public