投票集計システムのドミニオンやスマートマティック、各国で契約見直し 米大統領選で不正がバレたため