den stora elefant , som prinsen sköt på Ceylon den 6 dec.