No desk note for this article — the source text is below.
Oil production in Brazil reached a record high in June as rising supplies from producers a world away from the Middle East cushion disruption from the fallout of the war in Iran.