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