What about trading Drew Millas, Daylen Lile, and a pitching prospect for Brandon Lowe (play at 1B or DH), and signing Danny Jansen to a 3 year, 12 million dollar deal?
Gives you a LHH at DH/1B for 10.5 million, and a quality, veteran backup for 4 million AAV.
Nats can try and sign Christian Walker, Tyler O'Neill, or Joc Pederson as the alternative. I'd even be willing to just go with Yepez and/or Chapparo, and invest that money in a starting pitcher.