Disappointment Lake, another misnamed feature of the Red Mountain Basin.