Traumatic infarction of the spinal cord in children.