Talk:Princess Isabel/@comment-14250-20171119080045

Do we still have no source for Castillo Flores being Isabel's surname? I realize that is a likely assumption since Elena Castillo Flores is her older sister's name but I would love if we had a direct quote.