crocodile from punch and judy show