what is a coal washer