Did Trump actually help Venezuela?