City Workers Must Be Vaccinated Against COVID-19 by Oct. 15,