to keep the temperature in a coal mine cool