About 7,000 miles of Pennsylvania’s streams, 8% of the state total, are polluted by drainage from abandoned coal mines, according to the state Department of Environmental Protection.