Anne T asked: All other fish in pond are in good health. Various species. The koi also looks healthy apart from its girth.