The Thai Cave rescue was, without question, an astounding achievement.