COVID-19 R0 and vaccine coverage. How to use a COVID-19 vaccine to get to herd immunity and beat Coronavirus June 26, 2020