Mountain lion?

I went out to Huntsville State Park this afternoon to run trails.  Got about a half mile and a young couple warned me that they had just seen a mountain lion on the trail.  It came down the trail toward them and their dog started barking at it and it ran off the trail.  I suggested to them that it might have been a bobcat, but they were sure it was a mountain lion.  I had a mountain lion cross the trail ahead of me many years ago, but I have never heard of anyone else reporting one - until today.  In any case, I ran 3 miles on the trails and didn't even see a rabbit.