Dragontail Peak and Colchuck Peak over Colchuck Lake (trip report)