Crocodile eats beloved terrier that spent a decade taunting it