(a) If the district defaults in the payments due under a lease, the lessor may petition a court of competent jurisdiction to appoint a receiver for the leased properties.
(b) The receiver shall operate the properties and collect and distribute the revenue according to the terms of the lease and the direction of the court.
(c) The receiver has the same rights and powers as the board in its operation of the leased properties.