Koi fish, specifically nishikigoi (Cyprinus rubrofuscus), colorful decorative fish in an artificial pond