Bahia vai ter 17 mil policiais militares em operação nas eleições 2020