Hi I have a big outdoor pond with koi and goldfish. My smallest fish is about 6 inches. I would like to get turtles... So my real question is what size turtle could I get without having to worry about him eating fish. I would think that anything over 8 inches would be too big but could turtles around 5-7 inches be okay in it?