coal washing pump definition and meaning