Lucky it was a young one.
https://www.cnn.com/2019/02/05/us/colorado-runner-chokes-mountain-lion/index.html
https://www.cnn.com/2019/02/05/us/colorado-runner-chokes-mountain-lion/index.html
When a mountain lion attacked him, a Colorado runner choked it to death