Table schema:
CREATE TABLE table_237199_1 (country VARCHAR, company_name VARCHAR)

Question: Which country has doosan infracore as then company name?
SQL: SELECT country FROM table_237199_1 WHERE company_name = "Doosan Infracore"