Oil prices down with US output remaining at record high