Delek US purchases ownership interest in Red River Pipeline Co.