For decades, scientists searched for Mars’ lost ocean: A giant ‘bathtub ring’ may have finally revealed it