Input: What is the English name of the holiday that is celebrated in April or May and was a leading member of the Brazilian revolutionary movement ?
Output: Dia de Tiradentes