Will an extra 50 million barrels of crude lower US gasoline prices?