20180710 world.rest-of-world: Three more bodies found after Thai tourist boat disaster