Will you ever be using the Samsung as a source?
If not, then why bother connecting it's output to the receiver.
If so, then you do have a decision do make but, since it appears that your main source is the Dish STB, then I'd connect that.
Ya know, if the option presents itself, a digital coax connection works just as well.