Vale do Rio Doce tem lucro recorde de R$ 4 bilhões no terceiro trimestre