Could a coronavirus vaccine be mandated?