Convergence of a Conservative Crank-Nicolson Finite Difference Scheme for the KDV Equation | Synapse