20180711 world.rest-of-world: Thai rescue of boys from cave is a drama fit for Hollywood