That's it from our coverage of Paris Olympics in rifle shooting