I added a little rock salt to my pond to try to soften it a little. Is
this a substitute for pond salt which was not available to me at the
time?