PATCO and the vax mandate