Crypto industry to get first major U.S. stadium with Miami-Dade