what was the coat of arms that was marshaled into the coat of arms of the king of spain?
(AND symbols.coat_of_arms (JOIN symbols.coat_of_arms.marshaled_into m.0b7ztf))