sig derefter till den rikt prydda kyrkan San Domingo , i hvilken konungen vid sitt inträde mottogs af patriarken.