Trump says U.S. military strike killed leader of Tren de Aragua gang – NPR