ABD Başkanı Trump ile Kolombiya lideri Petro arasındaki gerginlik, ABD güçlerinin Venezuela Devlet Başkanı Nicolas Madu