“President Donald Trump announced that a U.S. military strike, conducted with help from Venezuela, killed Hector Ruxford Guerro Flores, the leader of the Tren de Aragua gang.”