Shanthi, world’s most studied elephant, dies at Washington’s National Zoo