portói püspök
– Juan de Carvajal.