20180710 world.rest-of-world: Elon Musk brings mini-sub to Thailand for cave rescue