I'm pretty sure this is Baby Pondweed. My pond was overrun with it this past year. I have obtained Grass Carp permit and will stock next spring. Question is, will the existing grass die off and decompose and drop to the bottom of the pond over the winter, or do I need to think about mechanically removing it in early spring and then the GC will manage the new growth?