Vaccinating undocumented migrants against covid-19