then the density of ocean water at depth