Produção de petróleo bate recorde em maio