Existence of solution to Korteweg–de Vries equation in a non-parabolic domain. (June 2020)