att tunneln vid Gibraltar borras 1,000 fot under hafsbottnen , skulle dess totaldjup under hafsylannå