Search for High-energy Neutrinos from Binary Neutron Star Merger GW170817 with ANTARES, IceCube, and the Pierre Auger Observatory - James, Clancy (Institute of Physics Publishing, 2017)