A Lawson-type exponential integrator for the Korteweg–de Vries equation. (16th October 2019)