Jeremy Hellickson not mentioned as a fifth starter for Nationals, even as he mounts a comeback

The veteran right-hander struggled earlier this season, averaging 4⅓ innings per start with a 6.23 ERA, but he has the most proven track record of any of Manager Dave Martinez’s options.