Himalayan or sea salt?
It doesn't matter. Salt is sodium chloride (NaCl). Himalayan salt is usually not iodinated, which is probably the only difference.
Redmond's if you live in the US, real Himalayan if you live in EU/Asia