Global distribution and seasonality of martian atmospheric HCl explained through heterogeneous chemistry | Synapse