Social distancing on the Border made easy, July 11-12, 2020