Statistics for African lion population estimates in Tanzania’s Ruaha national park