A look at the different types of koi fish featured in a aquarium.