Swimming pool made into a koi fish pond