Execution by an Elephant… a rather grizzly end for criminals in Ceylon (modern-day Sri La