Praça do peixe, mercado dos Lavradores