The Thai cave rescue is over, with all 12 boys and their coach safely above ground. Elon Musk's miniature submarine clearly arrived too late. However, it's now clear that it wouldn't have seen use regardless. In the last few hours of the operation...