What's New in Washington—October 2017