The rescue of 41 tunnel workers by India’s ‘rat-hole’ miners.