Lago de Mort, TREDOS