Gravar-mail: Information-Constrained Optima with Retrading: An Externality and Its Market-Based Solution