Long-term drying of Mars by sequestration of ocean-scale volumes of water in the crust | Synapse