Resorts made up 80 percent of the top 50 commercial water users in the Las Vegas Valley Water District in 2023. How much of that returns to Lake Mead?