President Donald Trump has said a "swift and lethal kinetic" US military strike has killed "the infamous leader" of Venezuela's Tren de Aragua street gang.