U.S. Coal Generation Trajectory: What Are Coal Miners Saying How fast do miners expect coal generation to decline in the U.S.?