Ordoño IV., León, König