20181103 world.rest-of-world: Diver dies in search for Indonesia jet crash dead