A mountain lion (10.8) and a puma (10.1) are the same animal. A panther (10.3) is a subtype of leopard (10.5).

But even with these redundancies, they are running out of large cat names to use and would have to go with the likes of "jaguarundi", "serval", and "manul" to keep the theme going. These are cool animals, but have nowhere near the emotive power that "Jaguar" or "Lion" had.