[Congressional Record Volume 165, Number 130 (Wednesday, July 31, 2019)]
[Senate]
[Page S5273]
From the Congressional Record Online through the Government Publishing Office [www.gpo.gov]


  The PRESIDING OFFICER. The majority leader.

                          ____________________