What catfish are best with koi fish?

I would use Tandannus tandannus (Eal tailed catfish)