Korteweg–de Vries equation