Foreign-born workers in the US with a college degree is up to 11.5 million.