English: Who was Infante João, Duke of Valencia de Campos?
translation: Qui était Jean de Portugal?