Libya exported 5.1 million barrels of crude in late October