US military killed Tren de Aragua leader in joint operation: President Donald Trump