I have seen one jaguarundi at a big cat sanctuary. They are darker in color than a typical lion, but are much smaller. Funny looking critters too, almost like a weasel.
I would not be surprised if at one time or another, someone's leopard got loose and started living in Texas. Between deer, pigs, and turkeys they should make a good living, especially given their stealth and adaptability.
IIRC at one time there was a handful of ocelots in far South Texas, but their numbers have been greatly reduced. I don't know if they ever had a black color phase, or if any still exist.
