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