20160602 world.rest-of-world: Strong earthquake hits western Indonesia