[Request] How much would the sea level drop? Ignoring tsunamis and other disasters.