Who had led the army that the Romans had sent to Africa?