common carp (Cyprinus carpio), koi carp