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 resi…