För några år sedan — 1885 — dog den barnumska elefanten Jumbovid