Mars once had an ocean with sandy beaches, researchers say