If I put the tip of a 100 foot pipe in the ocean and applied a perfect vacuum to the top, how high would the water rise in the pipe?