20060520 unknown: What is the world record for the deepest dive?