20171026 sports.football: Leicester name Puel as manager