judy tyler cause of death