20181030 world.rest-of-world: Crashed Indonesian Lion Air jet: What we know