Washington's highest paid public sector employee is...