9 de Julho: quem eram os craques do futebol que foram para a batalha na Revolução de 1932 – Estadão