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