For World Elephant Day, the sad yet compelling story of Jumbo, the most famous pachyderm ever and the origin of the English word "jumbo"