The costs of the Salvadoran civil war