Grottdykaren: Mikko Paasi och den dramatiska räddningsoperationen