Com crise no Oriente Médio, Brasil bate recorde de exportações de petróleo para a China