New Mars gravity analysis improves understanding of possible ancient ocean