Nymphoides coreana, Kuntze (1891)