Politico anuncia nova editora executiva, confirmando avanço da diversidade de gênero no jornalismo dos EUA