Question: What is this square also known as?
Relevant Wikipedia article: https://en.wikipedia.org/wiki/Largo_do_Botic%C3%A1rio