Mikä oli Etelä-Korean tieverkoston kokonaispituus vuonna 1988?