Email Record: Authorizing the State of Hawaii to Use the Proceeds from the Sale, Lease, or Other Disposition of Certain Real Property for Any Public Purpose.