China’s July exports rise despite coronavirus, US tariff war