I have a mini but there is no way I would waste the time to dig a pond that size. I'd rent a 160-210 size excavator and a truck or two and be done with it and spend the next day straighting everything out. You would have $1,000 in the excavator and $500-750 in trucking.
Do or do not. There is no try. yoda