US-Mexico Collaboration Gets Workers at the Border Vaccinated