Bring in Leyland. Sign him a one year contract. Tell him Martinez (or whoever the Nats want) will be his bench coach and then make that person the manager in 2019. You could even bring in DeRosa in that instance, although I wouldn't prefer it.
I don't think anyone can argue with Leyland's bona fides. And this plan doesn't potentially ruin 2018 on a rookie manager but still sets Nats up for the future.
Leyland has a better chance of dying before the 2018 season starts than he does getting this DC CURSED team beyond the first round of the playoffs.