Was his name Amos Moses? Man loses arm to crocodile after jumping over fence to wash his hands in a ‘pond’ at Indonesian zoo