About the only option for recording Dish satellite will be the Magnavox DVR and record the composite video (yellow RCA connector) out from the sat receiver. You will not be able to record the HDMI output because that will be copy protected. The Dish ViP211Z receiver only has HDMI and composite outputs and your TV has no HDMI input so you will only be able to watch standard def satellite on the TV. The Jensen JE1907 and the Magnavox DVR have ATSC tuners so you don't need a separate OTA converter box.
Your best option would be to upgrade to a Dish DVR with local TV channels.