A family is grieving the loss of their pet. The dog, a Dutch Shepherd, was 9 years old. Its death was caused by a crocodile. The encounter with the crocodile occurred near water, close to the shore. Further details about this incident are available from the source, including the time it happened, which was on a Thursday morning, and the type of dog that was involved.