A South Korean electronics company issued bonds denominated in US dollars in the United States and registered with the Securities and Exchange Commission (SEC). These bonds are most likely known as: