(a) Remedies upon default on bonds or indenture. If there shall be any default in the payment of the principal of or interest on any of the bonds issued under this article, or in the performance of any provisions of the indenture or proceedings authorizing the issuance of such bonds, then the holder of any of the bonds and the interest coupons applicable thereto and the trustee under such indenture or any one or more of them shall have and may exercise any one or more of the following remedies:

(1) They may by civil action, mandamus, injunction or other proceeding compel the performance of all duties of the officers and directors of the corporation with respect to the use of funds for the payment of the bonds and for the performance of the bonds and the agreements of the corporation contained in the bonds, the indenture or in the proceedings under which they were issued;

(2) They may institute a civil action and shall be entitled to a judgment against the corporation for the principal of and interest on the bonds so in default;

(3) They shall be entitled, regardless of the sufficiency of the security for the bonds in default and as a matter of right, to the appointment of a receiver to operate, administer and maintain the project out of the rent, revenues and income from which the bonds so in default are payable, with power to lease the project and the various parts thereof and to fix and collect rents therefor and to fix and collect charges and fees for exhibitions and contests conducted therein sufficient to provide for the payment of the principal of and interest on the bonds and any other obligations outstanding against the project or the revenues therefrom and for the payment of the expense of operating and maintaining the project and to apply the rent, revenues and income so collected to the court costs and expenses of the receivership and as provided in the indenture;

(4) They may foreclose any mortgage, conditional sale or lien upon the project or any part thereof provided in the indenture under which such bonds were issued and cause the project to be sold, either with or without court proceedings, either by the trustee or by the creditors or by their attorneys, or, if foreclosure is by court proceedings, by such official as the court may designate. The trustee or any holder of any of the bonds or coupons or any creditor may become a purchaser at any such foreclosure sale; and

(5) They may exercise any right or remedy, including the possession, operation and leasing of the project by the trustee under the indenture, as may be provided in the indenture.

(b) Remedies upon default in lease agreement. If there be any default by the municipality, county, state or any public corporation or state agency in the payment of any installment of rent or the performance of any agreement required to be made or performed by them under the provisions of any lease agreement, the corporation and the trustee under any indenture or either of them shall have and may exercise any one or more of the following remedies:

(1) They may by mandamus, injunction or other proceedings, compel performance by the officials of such lessee of their duties respecting payment of the rentals required to be paid and the performance of the agreements on the part of such lessee required to be performed under any such lease agreement;

(2) They shall be entitled to a judgment against such lessee for all monetary payments required to be made by such lessee under the provisions of such lease agreement with respect to which the lessee is then in default;

(3) They may terminate the lease and take possession of the project or part thereof leased to such lessee; and

(4) They may exercise any other remedy provided for in such lease.

(c) Remedies provided by section cumulative. The remedies specified in this section shall be cumulative to all other remedies which may otherwise be available to or for the benefit of the holders of the bonds and the coupons applicable thereto or the corporation as lessor of a project or any part thereof.