A receita de cassinos de Ohio aumenta 8,4% para $88,9 milhões em julho de 2025