Borneo-Zwergelefanten (Borneo Pygmy Elephants), Tabin