Last interglacial in Devils Hole