Portal de Belén, BERNUY DE COCA