Ohio’s land-based gaming market posted total revenue of $516.4 million in the first half of 2025, as revenue in June rose marginally