Sale of EOS’ 40% interest in De Beers for US$5.1b