Catherine of Hapsburg, the Wife of King John III of Portugal