Is the sum of the number of trademark applications made by the nonresidents in Korea (Republic) in 1980 and 1982 greater than the maximum number of trademark applications made by the nonresidents in Haiti across all years ?