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



                   Recognition of the Majority Leader

  The PRESIDING OFFICER. The majority leader is recognized.