Yes. Also called a catamount or panther some places.
Thanks to all. All this time I thought they were different animals. Where I’m from we only have domestic cats and no wild beasts to speak of.
That reminds me of a story. I once was golfing at Rodman US Navy Base in Panama before the handover. On the golf course they had signs in Spanish that read “Cuidado con los gatos y los lagartos” (Beware of cats and lizards). To me a cat was a domestic cat and a lizard one of those tiny things we have around our island. Anyway, I soon learned what they meant by cats when I, left alone at a green felt a stalking prescence, and my buddy, who had gone down the hill to get beers from the booze cart, started yelling like a madman in my direction and throwing beer bottles at the jungle. “Didn’t you see that?!”, he said. “See what?”, I replied. “A freaking “gato” was about to pounce on you!”. “Why should I be afraid of a freaking cat?”. “It was a freaking jaguar!”.