RE-training is a poor choice of words.

If you are unemployed and sitting around, why not pick up some new skills if training is free? You can always go back to mining if it comes back. It’s not like learning something new means losing old knowledge.

If you know mining, and an electrician, a mine electrician will be payed much better than either alone. Combining skills is where it’s at.