20040612 unknown: Which diver holds the world record for the greatest depth?