Will oil exports resume after the holidays?