Coal production peaked in 1990, and we lost 40 percent of...

Coal production peaked in 1990, and we lost 40 percent of our production, which meant we lost 40 percent of our miners.