Y mandó el rey que trajesen grandes piedras, piedras costosas, y piedras labradas para echar los cimientos de la casa.