Thin stationary sets and disjoint club sequences

We describe two opposing combinatorial properties related to adding clubs to $\omega_2$: the existence of a thin stationary subset of $P_{\omega_1}(\omega_2)$ and the existence of a disjoint club sequence on $\omega_2$. A special Aronszajn tree on $\omega_2$ implies there exists a thin stationary set. If there exists a disjoint club sequence, then there is no thin stationary set, and moreover there is a fat stationary subset of $\omega_2$ which cannot acquire a club subset by any forcing poset which preserves $\omega_1$ and $\omega_2$. We prove that the existence of a disjoint club sequence follows from Martin's Maximum and is equiconsistent with a Mahlo cardinal.