"About 4 million federal workers, from FBI agents to Bureau of Prisons guards to U.S. Food and Drug Administration workers, are to be vaccinated by Nov. 22 under the president’s executive order aimed at stopping the spread of the coronavirus."