Battle of the Bagradas River (255 BCE)