For catfish I say giraffe nose cat. Great personality and very active. Grow to about 24"+ and your kids will love it. Also keeps the bottom clean like a vacuum
Sent from my iPhone using MonsterAquariaNetwork app
Man that is an awesome sized pond, I would go all natural and use any local fish since you live in a seriously biodiverse part of the world