Whatever happened to doctor critical to Bin Laden's capture?