You might also know this place by the following names:
Antigo Casino de Armação de Pera, Antigo Casino de Armacao de Pera