20151106 world.europe: Brazil mine mudslide kills at least 17