The Beretta Model 71 (Jaguar) immediately comes to mind, but it would not be my first choice.
Being that they are think skinned critters, I think your typical 124 grain Gold dot fired from whatever 9mm service auto you perform best with would more than likely be just fine.
Truth be told though, if I had the opportunity to be in on the hunt for a big kitty on the loose, I would likely take along a special handgun like a custom 1911, or my favorite 5" Model 29. More likely than not, it is going to be settled in one shot or two, and the "Trophy shot" will be hanging on your wall for a long time, and a Glock 17/19/34 just does not have the panache that a custom Les Baer or Colt 1911 .45 or a 2.5" M19.
Though it is very hard to be a 4" 29-2
The hard part is deciding which one!