Could Venezuelan oil production get back to three million barrels per day?