No idea how safe it is to house a crocodile and a tortoise together in a pond.

I took these images at crocodile bank, Chennai, India and as you can see the (Alligator) Crocodile and a tortoise living together dangerously. In my search about the facts and behavior of crocodiles with tortoise I found this Youtube video confirming the truth that crocodiles eats tortoise. Wish I am wrong and the Authorities are sure about the safety of these lovely little tortoises. There are many of them out there!