Does China’s stimulus package have the equivalent of a “Buy Chinese” provision? US firms are complaining.