In how many years, is the number of documents required per shipment to import goods in Korea (Republic) greater than the average number of documents required per shipment to import goods in Korea (Republic) taken over all years ?