For animal lovers; have you seen this news?

I have just seen an article posted by Henry Doorley Zoo, in Omaha Nebraska.
An elephant passed away there during a routine surgery.
I was amazed to learn what lengths they went through to observe an elephant’s natural grieving process, they actually had a funeral, of sorts, allowing the other elephants to observe the departed and know he was gone. They then made changes in the barn area to allow for individual grieving needs!
I would say zoos have come a long way, and truly, now there are residents, not exhibits.
I have long enjoyed knowing that zoos provide enrichment opportunities, with birthdays, holidays, and such, but this was a new concept for me, and I like it.

What do you think?

Have you heard of any other zoos providing similar special treatment?