Trump hat die Export-Import-Bank kritisiert. Für Venezuela könnte er sie benötigen.