The Editor will be on vacation from Sunday, July 7, through Thursday, July 11, 2019.