The miners hired during the last hiring boom are coming to...

The miners hired during the last hiring boom are coming to the end of their careers. And we don't have anyone to take their place. If you started in the mines at 20, 25 years old, and you spent 30, 35 years in mining, you're ready to retire now.