Всего выпущено обыкновенных акций на Delek US Holdings, Inc.