US oil production rises to record high in April, EIA says Reuters