Should Kentucky invest state funds in retraining coal workers for new industries?