India’s famous crocodile-hunting female tiger, Machli, has died