Koi are a beautiful type of carp