Vermudo I “el Diácono”, king of Asturias