https://en.m.wikipedia.org/wiki/Rescue_of_Roger_Mallinson_and_Roger_Chapman
Here is a link to the deepest, successful sub rescue, 1575 feet deep, 1973. We may be better than 1973, but 11,000 feet worth?? I hope the best for them, odds are very low.
FWIW, I have a close relative on site...