20180716 sports.football.fifa-world-cup: Heartbroken but proud Croatia fans celebrate their 'heroes'