I live in south florida and I am considering setting up a pond in my backyard. It will be 12' long, 3' wide, and 2 or 3' deep. What kind of filtration or water pumps will I need for this? I plan on keeping 4 alligators (NOT, just kidding) some turtles and maybe a couple large fish. Thanks