Coal mines are major sources of controllable air pollution. They release 10 percent of national methane emissions, a greenhouse gas 30 times more potent than carbon dioxide, as well as large amounts of nitrogen dioxide, volatile organic compounds, and soot—the leading cause of premature deaths associated with air pollution. The U.S. Environmental Protection Agency is…