An enjoyable urban camping spot in Tiradentes, Brazil