Brazil election heads to run-off, Nord Stream pipelines stop leaking, Disney restored to Dish TV