20180710 world.rest-of-world: Rain adds urgency to rescue of last five trapped in Thai cave