The friendliest place on the web for anyone with an interest in aquariums or fish keeping!
If you have answers, please help by responding to the unanswered posts.
I'm not sure what the availability is on that size of the pond but I'd recommend Esox americanus vermiculatus. The other fish to look for is a Erythrinus erythrinus, both of these stay relatively small and would fit the bill perfectly.