A new lower bound for van der Waerden numbers. (March 2018)