A primeira referência que se conhece a este hipotético Infante Dom Miguel de Castela e Leão, como filho do segundo casamento do rei João I de Castela com a Infanta Beatriz de Portugal, herdeira do trono de Portugal nos termos do Tratado de Salvaterra, é feita por Pedro Salazar de Mendoza em 1618, que nos diz: «e nasceu deste matrimónio o Infante dom Miguel, que morreu menino». Wikipedia