US gaming revenue in May falls short of record levels