Единственный океан Марса был северным и ледовитым, считают ученые