Paris Olympics: China's Pan sets world record to win men's 100m freestyle swimming gold