"All eligible port personnel and travelers (passengers and crew) get a COVID-19 vaccine when one is available to them."