20180711 world.rest-of-world: 'Hooyah! Mission accomplished' greets Thai boys rescued from cave