Dredging streambeds may be an effective technique for mining salt