[Congressional Record Volume 164, Number 114 (Monday, July 9, 2018)]
[Senate]
[Page S4832]
From the Congressional Record Online through the Government Publishing Office [www.gpo.gov]



                   Recognition of the Majority Leader

  The majority leader is recognized.