Church Former tourist attraction of Tiradentes, Catholic Main Church of Santo Antonio in the city of Tiradentes in Minas Gerais