“The U.S. military, with assistance from Venezuela, killed Hector Ruxford Guerro Flores, the leader of the Tren de Aragua gang.”