António, Prior of Crato — Portuguese royal