Auxiliary Eastern Canal Irrigation District.