Convergence of a Conservative Crank–Nicolson Finite Difference Scheme for the KdV Equation | Synapse