English: Was Infante Carlos of Spain a member of the Spanish royal family?
translation: ¿Era Carlos de Austria un miembro de la familia real española?
translation: ¿Fue Carlos de Austria un miembro de la familia real española?