Gilmar Mendes manda soltar Anthony Garotinho, ex-governador do Rio