If you want large and aggressive cats,then tigrinus would be great choice alongside couple of paroon sharks,rtc hybrid and the like. If you want less aggressive giants, then irwini,giraffe cat and niger cats would be good
All of those will grow to large for a 9 x 5' pond. Except maybe the tig
Sent from my ST15i using Tapatalk App