20180731 world.rest-of-world: More than 500 hikers evacuated from Indonesian volcano