Approximate numbers of groups that may be prioritized:
Health care workers: 16.9 million
Active duty US military: 1.4 million
Nursing home residents: 1.3 million
Nursing home staff (other than health care workers): ???
Employees of essential industries (excluding health care workers): 38 million
K-12 teachers (including public and private): 4 million
K-12 staff (other than teachers): 4 million(?)
College faculty: 1.5 million (0.8 million full time, 0.7 million part time)
College staff (other than faculty): 2.0 million
Age 65+: 54 million (overlaps with the above groups)