Какое имя носит крупный самец нильского крокодила, проживающий в Бурунди?

так, может, это не один и тот же крокодил? (я не совсем поняла, это имя дано всем крокодилам этого типа, или это личное имя конкретного крокодила).