Trump: Venezolanischer Drogenboss bei US-Angriff getötet