CREATE TABLE table_237199_1 (country VARCHAR, company_name VARCHAR)
SELECT country FROM table_237199_1 WHERE company_name = "Doosan Infracore"
ประเทศใดมี doosan infracore เป็นชื่อบริษัท?
Which country has doosan infracore as then company name?