Should all public sector CEOs have their salaries disclosed to the public?