Brasil produjo en mayo un promedio récord de petróleo y gas natural