In the year 2003, what is the difference between the amount spent on the salary of employees by the government in Korea (Republic) and amount spent on the salary of employees by the government in Nicaragua ?