Davey Martinez after Nationals fall to Marlins