Teoctisto, general del ejército de la provincia de África, es derrotado y muerto por los moros.