How many Italians lived in Eretria in 1939?