Club-Isomorphisms of Aronszajn Trees in the Extension with a Suslin Tree

We show that, under PFA(S), a coherent Suslin tree forces that every two Aronszajn trees are club-isomorphic.