how many people have been the head coach for leicester city f . c .
SELECT DISTINCT COUNT attr_open var_uri attr_close where brack_open var_x dbp_club dbr_Leicester_City_F.C sep_dot sep_dot var_x dbo_manager var_uri sep_dot var_uri a dbo_Person brack_close