DK Delek US Holdings Inc