[ditn]

For those reading this with incredulity I believe the above commenter made a typo - the average depth is 3688m, or 12,100ft.