The U.S. imports a lot of coal from Colombia, and the life of a coal miner there is hard, to say the least. But the miners are not the only ones who are impacted by Colombia’s coal-mining industry. Steven Dudley reports for PRI’s The World.