MLB Box Score: Washington at San Diego