och prinsessan Antonia , dotter till kung Ferdinand af Portugal.