US casinos have their best July ever, winning nearly $5.4B from gamblers