What was the population of El Salvador in 1980