When Republicans nominate a woman for governor, their vote share drops 6.5 points. — Synthesis