legendary king of Britain — legendary sovereign mentioned in Geoffrey of Monmouth's Historia Regum Britanniae