Washington Revised Code Title 47. Public Highways and Transportation § 47.60.110. Bondholders may compel performance

The holder of any bond or the trustee for any bonds designated by resolution may by mandamus or other appropriate proceeding require and compel performance of any duties imposed upon any state department, official or employee, including any duties imposed upon or undertaken by the authority or its officers, agents and employees in connection with the construction, maintenance and operation of the ferry system and in connection with the collection, deposit, investment, application and disbursement of the proceeds of the bonds and the revenue and income derived from the operation of the system.