How many foreign troops died in eritrea independence?