a african elephant mixed with woolly mammoth