20150728 sports.football: Barca fined over whistling at Spain's king