My local Koi ranch mentioned in their newsletter that they have some kind of
a 'shark' that eats gunk off the bottom of the pond.

Anyone know what this could be, and if I should investigate further, or
avoid it?

Thanks!