However , Theodotus too was killed at this time , possibly in one of these skirmishes .
Theodotus launched a pursuit and inflicted heavy casualties , so that most of the Andalusians departed the island .
Theodotus too was killed at this time , possibly in one of these skirmishes .
Theodotus launched a pursuit and inflicted heavy casualties , so that most of the Andalusians departed the island .