Oil dips as US output hits record, but global markets remain tight