From the article: "The giant cat raced out of cover provided by scrub and bushes to surprise the crocodile, which was swimming nearby.
A terrible and bloody struggle ensued. Eventually, onlookers were amazed to see the leopard drag the crocodile from the water as the reptile fought back."
I think the croc’s name is Obama.