Em meio à guerra no Irã, Brasil bate recorde de produção de petróleo