CREATE TABLE table_237199_1 (country VARCHAR(255), company_name VARCHAR(255))
Which country has doosan infracore as then company name?
    
SQL: SELECT country FROM table_237199_1 WHERE company_name = "Doosan Infracore"