So you’re part of a group of fishermen, walking off to your favorite fishing spot, when you encounter a herd of elephants. Most likely there are newborn calves in the herd, which is why the females take offense at a bunch of humans occupying the same zip code. So you flee the angry herd in panic, and take refuge in a nearby river. And the predictable occurs.

I think I would’ve taken my chances with the elephants.
Elephants while large, angry and fast are intelligent and might let you slide if you manage to run away far enough and fast enough.
I know that’s a big if, but crocodiles are fucking dinosaur killing machines.
No problem. Let the Governor of Minnesota declare the Nile crocodile a protected entity, and allocate funds to provide sanctuary for them in the upper Mississippi.
.