Tough call.....
It surely is. And living with that decision must be tough.
Agreed.........
I agree, and had I been the one to make that call at that time, I can't say what I would have done.
With the benefit of an armchair and Monday morning hindsight, I think apprising the mission commander would have been the right thing to do, and let him make the command decision as to whether or not to tell the crew.