20180730 world.rest-of-world: More than 500 hikers stranded on mountain after Indonesia quake: Official