Trump said he would save jobs at Carrier. The layoffs start July 20.