20170728 sports.football: El Clasico fever grips Miami -- at USD 900 a ticket