Virus kills millions of American pigs, pushing up pork prices