$2.5B Venezuelan oil revenue