Very sad. I heard this on the radio this morning and from the way the guy (Bill Handel) described it, I thought the tiger had bit the girl's head off and decapitated her! That left a horrible vision in my head, though the one described here isn't much different. :(
No, "crushed skull" shouldn't be a descriptor for a child.