Healthcare workers who treated Florida's first COVID-19 patient receive vaccine