Anybody out there familiar with the Peabody River King strip mine lakes? Are permits from the mines still required?

Thanks!
Fishaholic