The orange ones are obviously goldfish (Carassius auratus), but are the grey ones just some variety of goldfish or a different but clearly related species of carp? Can someone with more knowledge of fish help me out? Seen at Zie-Zoo, the Netherlands, in the snapping turtle pool.