Delek US Holdings, Inc. ($DK)