elefanter , som på sin tid voro dresserade att utföra skarprättaretjenst I presldentskapet Bombay , dog nyligen.