variously-leaved pondweed Synonyms