US gas output hits fresh record in July: EIA