O senador Ted Cruz deseja que as máquinas de venda automática do Capitólio aceitem criptografia