How Much Oxygen Does Mars Have