“General Manager” shall mean the person duly appointed by the Board of Trustees to be the General Manager of the District, or that person’s duly appointed District employee designee.