How Edinburgh Zoo turned tragedy into triumph after death of baby red panda