An exploration-enhanced elephant herding optimization. Issue 9 (19th July 2019)