The origins of the Korteweg-De Vries equation: Collaboration between Korteweg and De Vries