Oil from U.S. reserves sent overseas as gasoline prices stay high