20180711 world.us: Border Protection says NYC mayor crossed border illegally