Settlement of lawsuit against district not yet filed with court