Texas ejecuta a un mexicano pese a la oposición de la Casa Blanca