With their many injuries and the underperforming Harper, I think it's incorrect to blame the manager. I'm not knowledgeable about whether Martinez is popular with the players or not, so it's hard to speculate if changing the manager would make a difference. Unless the Nats get a large overpay for Harper, I doubt they trade him.