den stora elefant , » em prinsen nedsköt på Ceylon den 6 dec.