Trump trashed the Export-Import Bank. For Venezuela, he may need it