in the Historia Regum Britanniae does Geoffrey of Monmouth address the issue of whether or not the earlier mythical kings on his chronology were pagan or not?