20180706 world.rest-of-world: Ex-Navy Seal dies in Thai cave rescue: Official