Y así se hizo, trayéndose de Portugal una ingente cantidad de piedra para tal objetivo.