RFK Jr. Out by October 31?

This market will resolve to “Yes” if Robert F. Kennedy Jr. (RFK Jr.) ceases to be United States Secretary of Health and Human Services (HHS) for any period of time between market creation and the specified date (ET). Otherwise, this market will resolve to “No”. An announcement of Robert F. Kennedy Jr. (RFK Jr.)'s resignation/removal before this market's end date will immediately resolve this market to "Yes", regardless of when the announced resignation/removal goes into effect. The resolution