Trump says US military strike killed leader of Venezuela's Tren de Aragua gang