[Congressional Record Volume 163, Number 166 (Monday, October 16, 2017)] [Senate] [Page S6383] From the Congressional Record Online through the Government Publishing Office [www.gpo.gov] Recognition of the Majority Leader The majority leader is recognized.