20181006 world.rest-of-world: Brazil is choosing a new president. Here's what you need to know.