Title: What really happened to the coal industry?