och prinsessan Antonia , dotter till kung Ferdinand at Portugal.