[Congressional Record Volume 164, Number 124 (Tuesday, July 24, 2018)]
[Senate]
[Page S5227]
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.

                          ____________________