The Korea-Japan underwater tunnel project: Its differences from and similarities to the channel tunnel