FDA official: Fourth dose of COVID-19 vaccine might be needed this fall