Nationals make big move with manager Dave Martinez