Assuming a one mile wide tunnel was drilled into the earth from the ocean, and it went almost all the way to the core, would there be any surface water left after filling the hole?