员工人数的DELEK US HOLDINGS INC (NEW)。