Enrique sería entonces rey de Castilla.