Mack Horton wins aquatic grudge match with Sun Yang at Olympics