20141020 world.rest-of-world: Joko Widodo takes over as Indonesian president