I very much doubt it, but who the hell knows exactly what the Navy gets up to?
One example which probably illustrates the gulf: there are only
eight (or possibly) nine technical divers who are known to have dived at depths greater than 800 feet. Yet years before these guys got there, the Navy
published a paper on the use of experimental rebreathers at depths in excess of 850 feet for durations in excess of an hour (the paper includes references to depths as deep as 1,000 feet - long before Nuno Gomes and company got down there).
And if the Navy is comfortable publishing those figures, then you know that they are not talking about something new or cutting edge in terms of their capability.
That is quite a gulf.