Ok so I went to this Koi place and they are selling catfish which I bought 1 and the guy said no problem to keep with koi but he also had these fish he said were imported from china (sharks) so friggen kool can cohabitate with koi in my area what other cool fish area good with koi any info on that shark what it might be?