El Lago Tenaya recibe su nombre luego de la caída del líder.