[EN-POR:mining of rock salt]