An old postcard from Panama that shows CASINO on top of the building. Is this a gaming casino or what else could it be?