There’s no coal rush without miners