Tiradentes, a revolutionary who was leading a movement for Brazil's independence, is hanged.