U.S. forces kill leader of Venezuelan gang Tren de Aragua, Trump says