Mercado dos Lavradores, le marché couvert de Madère, Portugal