Which country has doosan infracore as then company name?
create table table_237199_1 (country varchar, company_name varchar, PRIMARY KEY (country))
select country from table_237199_1 where company_name = "doosan infracore"