my vote is to drain. Thats what i would do here in texas but our summers in july and august are dry enough to make it possible. you may be in a different situation. do you have a good pump? you would have to keep it pumped out everytime it rained.How big is the pond?