Aquathol would be a better option than Hydrothol, since the former is: 1) much more active on naiads, 2) poses no direct threat to the fish (unlike Hydrothol) and 3) poses no threat to Chara (unlike Hydrothol). Spot-treating sections of the pond might be feasible, further reducing the potential for DO-issues.
