US kills Venezuela’s Tren de Aragua leader in military strike, Trump says – Politico