So if his teammates already had the vaccine remind me why they took the vaccine?
....perhaps they should just swim wearing masks???
When it is his event, clear the stadium and pool, and he swims alone.
Drain and refill the pool and the rest of the teams continue.