20170720 sports.more-sports.others: Malaysia pips China in 10m platform for historic gold