John Dykes on Thai cave rescue