These are regular, full-size water lilies. For the past few years they have been growing very small leaves, few larger than a half dollar. (Remember half dollars?) We feed the plants and they get full sun. We have three or four plants in a 800-gallon pond. The depth is about 16 inches. We have goldfish, but we also had goldfish when the leaves were normal. What is wrong?