What happens when the driller forgets to shut off the mud pump?