20150803 sports.more-sports.others: Diving: China finish with ten world golds