Getulio Vargas, president of Brazil, resigns.