Oil from US reserves sent overseas as gasoline prices stay high