Cinco mil doses de vacina foram aplicadas na segunda (9) em Porto Velho; vacinação segue para o público de 20 anos ou mais