Generalised Ogg's conjecture for rational cuspidal torsion

Let $N$ be a positive integer. Let $X_0(N)$ be the modular curve of level $N$ over $\mathbb{Q}$, let $J_0(N)$ be its Jacobian, and let $C_N$ be the image in $J_0(N)$ of the degree-zero divisors supported at the cusps. Define the rational cuspidal subgroup by

$$C_N(\mathbb{Q})=C_N\cap J_0(N)(\mathbb{Q}).$$

Generalised Ogg's conjecture. For every positive integer $N$,

$$C_N(\mathbb{Q})=J_0(N)(\mathbb{Q})_{\operatorname{tors}}.$$

The finiteness of $C_N$ implies the inclusion from left to right; the conjecture asserts that every rational torsion point of the Jacobian is cuspidal. It generalises Ogg's conjecture, which was proved for prime level by Mazur, while the stated generalisation is not resolved in the supplied source.