Should the Nationals fire Dave Martinez?