20180622 business.international-business: First new all-electric mine dumps diesel; cuts costs; pollution