20180708 world.rest-of-world: rescuers begin operation to extract thai boys trapped in cave