What is the other name for el salvador?

the repulic of el salvador