Wouldn't this one be large enough? Isn't the Chinese Alligator usually smaller than the American?
Addition: someone who has the guidebook/annual report/stock list from 1995 would be able to answer this properly. I used to have all the guidebooks but sold them to fund a zoo tour of the US (which I sometimes regret, like in this case)