Search for domain wall dark matter with atomic clocks on board global positioning system satellites. Issue 1 (December 2017)