The Red Planet's lost atmosphere