???
American Lions=mountain lions, puma, gully cat, cougar, etc. We have the big cats in Texas. They aren’t as big as the ones in the Rockies though.
Documented jaguars in Arizona as well.
LOL! I looked up American Lion and found a species which has been extinct for over 10,000 years — I thought you were joking around!
Jaguars in the US! Who would have thought it!