-Un rey de España -prosiguió con prosopopeya la genealogista-, les puso de nombre Machuca, de puro machucar moros.