Proton-proton final-state interaction in the three-nucleon reaction p+d → p+p+n