home > > pumping out excess coal from coal mills