Historical records of Indian Ocean giant tortoise populations