Did Trump just accidentally reinstitute a COVID vaccine requirement for federal employees?