Historic and present distribution of lions